Prove Merge Sort Recurrence Running Time